Fuzzy ALC with Fuzzy Concrete Domains
نویسنده
چکیده
We present a fuzzy description logic where the representation of concept membership functions and fuzzy modifiers is allowed, together with a inference procedure based on a mixture of a tableaux and bounded mixed integer programming.
منابع مشابه
Reasoning in ALC with Fuzzy Concrete Domains
In the context of Description Logics (DLs) concrete domains allow to model concepts and facts by the use of concrete values and predicates between them. For reasoning in the DL ALC with general TBoxes concrete domains may cause undecidability. Under certain restrictions of the concrete domains decidability can be regained. Typically, the concrete domain predicates are crisp, which is a limitati...
متن کاملFlexible planning using fuzzy description logics: Theory and application
Description logics (DLs for short) are formalisms for representing knowledge of various domains in a structured and formally well-understood way. Typically, DLs are limited to deal with precise and welldefined concepts. In this paper we first present a fuzzy extension of ALC*, called fuzzy ALC*, combining Zadeh’s fuzzy logic with an expressive DL and define its syntax and semantics. Then we dev...
متن کاملAutomata-based Reasoning in Fuzzy Description Logics
Description logics (DLs) are a family of well-studied knowledge representation formalisms designed to express and reason with the conceptual knowledge of application domains in a clear and well-understood manner. They have been successfully applied for representing large application domains, most prominently from the biological and medical fields. In their classical form, DLs are not adequate f...
متن کاملDescription Logics with Fuzzy Concrete Domains
We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.
متن کاملLearning in Description Logics with Fuzzy Concrete Domains
We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.
متن کامل